RWTH Aachen University

Results: 580



#Item
101

Deciding ALBO with Tableau Renate A. Schmidt1 and Dmitry Tishkovsky1 School of Computer Science, The University of Manchester {renate.schmidt,dmitry.tishkovsky}@manchester.ac.uk This paper presents a tableau approach for

Add to Reading List

Source URL: sunsite.informatik.rwth-aachen.de

Language: English - Date: 2007-05-22 01:39:22
    102

    City Virtualization Gregor Fabritius, Jan Kraßnigg, Lars Krecklau, Christopher Manthei, Alexander Hornung, Martin Habbecke, and Leif Kobbelt Computer Graphics Group RWTH Aachen University Ahornstrasse 55

    Add to Reading List

    Source URL: ahornung.net

    Language: English - Date: 2014-11-19 12:58:03
      103

      Automated Termination Proofs for Java Programs with Cyclic Data? Marc Brockschmidt, Richard Musiol, Carsten Otto, and J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany

      Add to Reading List

      Source URL: verify.rwth-aachen.de

      Language: English - Date: 2015-04-16 09:49:59
        104

        Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode M. Brockschmidt, T. Str¨ oder, C. Otto, J. Giesl LuFG Informatik 2, RWTH Aachen University, Germany

        Add to Reading List

        Source URL: verify.rwth-aachen.de

        Language: English - Date: 2015-04-16 09:49:59
          105

          Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode M. Brockschmidt, T. Str¨ oder, C. Otto, J. Giesl LuFG Informatik 2, RWTH Aachen University, Germany

          Add to Reading List

          Source URL: verify.rwth-aachen.de

          Language: English - Date: 2015-04-16 09:49:59
            106

            Synthesizing Shortest Linear Straight-Line Programs over GF(2) for the AES using SAT? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany

            Add to Reading List

            Source URL: verify.rwth-aachen.de

            Language: English - Date: 2015-04-16 09:50:12
              107

              Lazy Abstraction for Size-Change Termination? Michael Codish1 , Carsten Fuhs2 , J¨ urgen Giesl2 , and Peter Schneider-Kamp3 1 Department of Computer Science, Ben-Gurion University, Israel

              Add to Reading List

              Source URL: verify.rwth-aachen.de

              Language: English - Date: 2015-04-16 09:50:00
                108

                AIM: Another Itemset Miner Amos Fiat, Sagi Shporer School of Computer Science Tel-Aviv University Tel Aviv, Israel {fiat, shporer}@tau.ac.il

                Add to Reading List

                Source URL: sunsite.informatik.rwth-aachen.de

                Language: English - Date: 2003-11-22 10:11:12
                  109

                  Mining Frequent Itemsets using Patricia Tries ∗ Andrea Pietracaprina and Dario Zandolin Department of Information Engineering University of Padova ,

                  Add to Reading List

                  Source URL: sunsite.informatik.rwth-aachen.de

                  Language: English - Date: 2003-11-28 06:59:28
                    110

                    Deformable Templates for the Localization of Anatomical Structures in Radiologic Images Wolfgang Sorgel and Bernd Girod Telecommunications Laboratory University of Erlangen-Nuremberg Cauerstrae 7, 91058 Erlangen, Germa

                    Add to Reading List

                    Source URL: sunsite.informatik.rwth-aachen.de

                    Language: English - Date: 1999-05-18 04:52:25
                      UPDATE